Safety-Critical Software: Status Report and Annotated Bibliography
نویسنده
چکیده
Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written In the literature with respect to system and software safety. This repo~l sum;-,;A& .es some of that literature and outlines the development of saf,. criticai zcw,vare. Techniques for hazard identification and analysis are discussed. 'Further, techniques for the development of safety-critical software are mentioned. A partly annotated bibliography of literature concludes the report.
منابع مشابه
Multiphysics and multiscale software frameworks : an annotated bibliography
Multiphysics and multiscale modelling and simulation (MMS) is an emerging trend for the analysis and design of complex systems in many domains. As a result, there are an overwhelmingly large number of MMS software frameworks in the literature and market, while a comprehensive account of these is apparently missing. This paper presents an annotated bibliography of MMS software frameworks. A thor...
متن کاملLiteracy, education and health development: annotated bibliography.
The focus of this bibliography is education’s effect on health status in developing countries. Some of the most relevant articles have been cited and annotated. The annotations are not summaries of the articles, but rather provide specific reference to the empirical evidence or, in some cases, lack of evidence for linking education with health status. The bibliography has been divided into four...
متن کاملFormal Techniques for Information and Software Security: An Annotated Bibliography
This report is the result of an extensive literature survey performed by its authors. Our goal is to provide an overview of existing formal approaches to information and software security. A rough classification of the topics covered in the research literature and brief descriptions of these topics should help the reader find his or her way in the substantial body of research.
متن کاملTool Integration within Software Engineering Environments: An Annotated Bibliography
This document provides an annotated bibliography of papers that have addressed this topic over the past decades. The author does not contend that this is a complete list of papers, merely, that these papers are those that have been discovered to be the most salient over the course of three years of research into this topic. The author does not intend to draw any conclusions within this document...
متن کامل